ecl-trans(x)
== ecl_ind(x;
== ecl_ind(k,test.ecl-base-tuple(k; test);
== ecl_ind(a,b,A,B.combine-ecl-tuples(A;
== ecl_ind(a,b,A,B.combine-ecl-tuples(B;
== ecl_ind(a,b,A,B.combine-ecl-tuples((a,b,n. bor(band(0 <z n; (a(n))); band((b(n)); (a(0)))));
== ecl_ind(a,b,A,B.combine-ecl-tuples((a,b. bor(a; b)));
== ecl_ind(a,b,A,B.combine-ecl-tuples2(A;
== ecl_ind(a,b,A,B.combine-ecl-tuples2(B;
== ecl_ind(a,b,A,B.combine-ecl-tuples2((x,a,b,n. band(isl(x);
== ecl_ind(a,b,A,B.combine-ecl-tuples2((x,a,b,n. band(bor(band(0 <z n;
== ecl_ind(a,b,A,B.combine-ecl-tuples2((x,a,b,n. band(bor(band(if outl(x) then a(n) else b(n) fi );
== ecl_ind(a,b,A,B.combine-ecl-tuples2((x,a,b,n. band(bor(band((n = 0); band((a(0)); (b(0)))))));
== ecl_ind(a,b,A,B.combine-ecl-tuples2((ha,hb,eha,ehb,a,b. bor(band(a; (ehb)); band(b; (eha))))
== ecl_ind(a,b,A,B.combine-ecl-tuples2();
== ecl_ind(a,b,A,B.combine-ecl-tuples2(A;
== ecl_ind(a,b,A,B.combine-ecl-tuples2(B;
== ecl_ind(a,b,A,B.combine-ecl-tuples2((x,a,b,n. band(isl(x); if outl(x) then a(n) else b(n) fi ));
== ecl_ind(a,b,A,B.combine-ecl-tuples2((ha,hb,eha,ehb,a,b. bor(band(a; band((hb); (ehb)));
== ecl_ind(a,b,A,B.combine-ecl-tuples2((ha,hb,eha,ehb,a,b. bor(band(b; band((ha); (eha))))));
== ecl_ind(a,A.reset-ecl-tuple(A);
== ecl_ind(a,m,A.add-ecl-act(A; m);
== ecl_ind(a,m,A.ecl-add-throw(A; m);
== ecl_ind(a,l,A.ecl-add-catch(A; l)) 

latex

Definitions	ecl-add-catch(A; l), ecl-add-throw(A; m), add-ecl-act(A; m), reset-ecl-tuple(A), b, band(p; q), bor(p; q), x.A(x), f(a), outl(x), if b then t else f fi , isl(x), combine-ecl-tuples2(A; B; f; g), #$n, (i = j), i <z j, combine-ecl-tuples(A; B; f; g), ecl-base-tuple(k; test), ecl ind
FDL editor aliases	ecl-trans